Exploring modal worlds
نویسندگان
چکیده
منابع مشابه
Exploring modal worlds
Modal idempotent semirings cover a large set of different applications. The paper presents a small collection of these, ranging from algebraic logics for program correctness over bisimulation refinement, formal concept analysis, database preferences to feature oriented software development. We provide new results and/or views on these domains; the modal semiring setting allows a concise and uni...
متن کاملPossible Worlds for Modal Primitivists
Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notio...
متن کاملPossible Worlds I: Modal Realism
It is difficult to wander far in contemporary metaphysics without bumping into talk of possible worlds. And reference to possible worlds is not confined to metaphysics. It can be found in contemporary epistemology and ethics, and has even found its way into linguistics and decision theory. But what are those possible worlds, the entities to which theorists in these disciplines all appeal? Call ...
متن کاملExploring "Multiple Worlds" in Parallel
We examine computing alternative solutions to a problem in parallel to improve response time. Problems with exploring multiple alternatives in parallel include (1) side-effects and (2) combinatorial explosion in the amount of state which must be preserved. These are solved by process management and an application of ‘‘copy-on-write’’ virtual memory management. The side effects resulting from in...
متن کاملNaming Worlds in Modal and Temporal Logic
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x; y) which states that two time points are at the same distance from the root. We provide the systems studied with complete axiomatizations and illustrate the expressive power gained for modal logic by simulating othe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2014
ISSN: 2352-2208
DOI: 10.1016/j.jlap.2014.02.004